4. 20090302
پدیدآورنده : \ by Mahmoud al-Badri
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
7. Pictorial Essay,ایران اسلام رسپوبلیکاسی ایله آذربایجان رسپوبلیکاسی آراسیندا اقتصادی و سیاسی مناسیبتلر ۱۹۹۱-۱۹۹۷
پدیدآورنده : 20090215 00677nam1 22001692i 450 001000700000020002100007100004500028101000800073200016000081210014000241215000900381300004500390801003300435930001800468932000800486910001300494 608032 ,20090214 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
8. Spinal control :
پدیدآورنده : edited by Paul W. Hodges, Jacek Cholewicki, Jaap H. van Dieën
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Backache-- Patients-- Rehabilitation,Low Back Pain-- rehabilitation,Movement-- physiology,Spine-- physiology
رده :
RD771
.
B217
S65
2013
9. The hip /
پدیدآورنده : editors, Robert L. Barrack, Aaron G. Rosenberg ; illustrators, Jennifer E. Fairman, Hugh Thomas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hip joint-- Surgery.,Hip Fractures-- surgery.,Hip Joint-- surgery.,Hip Prosthesis.,Hip-- surgery.,Orthopedic Procedures-- methods.
رده :
RD549
.
H49
2006
10. Types for proofs and programs :
پدیدآورنده : Paul Callaghan ... [et al.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2000
11. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده : Paul Callaghan...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
